<=<
モナド関数
a -> m a
の関数合成
普通の関数
a -> b
の関数合成
.
のモナド関数版
code:hs
(<=<) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)
f <=< g = (\x -> g x >>= f)